1977年度 ACM学生論文賞 第一席授賞論文 構造的プログラム言語におけるサブルーチン展開の解析